退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用混合模型检查的离散事件系统性能验证
Denis, Bruno; Lesage, Jean-Jacques; Juarez Orozco, Zulema;
机译:使用模型检查的离散事件系统间歇性故障可诊断性的形式验证
机译:使用IPA的离散事件和混合动力系统中的性能调节
机译:切换离散事件系统的混合建模和性能评估
机译:基于混合模型检查的离散事件系统性能验证
机译:离散事件和混合系统的性能优化策略。
机译:评估M / G / C / C状态相关排队系统性能的离散事件仿真模型
机译:定时条件/事件系统:化工厂模块化离散模型及其实时离散控制验证的框架
机译:系统性能验证装置,系统性能验证方法和系统性能验证程序
机译:离散事件系统模型和连续时间系统模型的混合系统建模和仿真的装置和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。